Some Zarry Proofs